Editing as Gardening

Emergency Gardening

About a year ago one of the neuro-psychiatric Emergency Hospitals ? added gardening to its other branches of occupational therapy. It has been suggested that my experiences during that year might be of interest to those engaged in, or about to undertake, similar work. As I consider that a number of rather vague general statements without chapter and verse are almost valueless, I have?in this ar...

On Gardening

for most things to develop their full capacity and prove their suitability or lack of it. A lot can go wrong. Trees that cast a large area of shade for smaller subjects or come into conflict with others through overcrowding ought to have been given more room or perhaps put to the east side when they should have been put to the west to protect others from the prevailing wind. But if one assumes ...

Proving as Editing

A new paradigm for designing and implementing user-interfaces for theorem proving assistants is presented. In the paradigm, we regard the process of constructing a proof as that of editing a proof document, where proofs are represented by constraints that relate pieces of information on a document with one another. By adding functions for solving such constraints to a text-editor, we can smooth...

Gardening Cyber-Physical Systems

Today’s artefacts, from small devices to buildings and cities, are, or are becoming, cyber-physical socio-technical systems, with tightly interwoven material and computational parts. Currently, we have to laboriously build such systems, component by component, and the results are often difficult to maintain, adapt, and reconfigure. Even “soft”ware is brittle and non-trivial to adapt and change....

Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing